On Ideals of Implicative Semigroups
نویسندگان
چکیده
We introduce the notion of ideals in implicative semigroups, and then state the characterizations of the ideals. 2000 Mathematics Subject Classification. 20M12, 06F05, 06A06, 06A12.
منابع مشابه
IDEALS OF PSEUDO MV-ALGEBRAS BASED ON VAGUE SET THEORY
The notion of vague ideals in pseudo MV-algebras is introduced,and several properties are investigated. Conditions for a vague set to be avague ideal are provided. Conditions for a vague ideal to be implicative aregiven. Characterizations of (implicative, prime) vague ideals are discussed.The smallest vague ideal containing a given vague set is established. Primeand implicative extension proper...
متن کاملUltra and Involution Ideals in $BCK$-algebras
In this paper, we define the notions of ultra and involution ideals in $BCK$-algebras. Then we get the relation among them and other ideals as (positive) implicative, associative, commutative and prime ideals. Specially, we show that in a bounded implicative $BCK$-algebra, any involution ideal is a positive implicative ideal and in a bounded positive implicative lower $BCK$-semilattice, the not...
متن کاملFUZZY (POSITIVE, WEAK) IMPLICATIVE HYPER BCK-IDEALS
In this note first we define the notions of fuzzy positive implicativehyper BCK-ideals of types 1,2,3 and 4. Then we prove some theorems whichcharacterize the above notions according to the level subsets. Also we obtainthe relationships among these notions, fuzzy (strong, weak, reflexive) hyperBCK-ideals and fuzzy positive implicative hyper BCK-ideals of types 5,6,7and 8. Then, we define the no...
متن کاملABSORBENT ORDERED FILTERS AND THEIR FUZZIFICATIONS IN IMPLICATIVE SEMIGROUPS
The notion of absorbent ordered filters in implicative semigroupsis introduced, and its fuzzification is considered. Relations among (fuzzy) orderedfilters, (fuzzy) absorbent ordered filters, and (fuzzy) positive implicativeordered filters are stated. The extensionproperty for (fuzzy) absorbent orderedfilters is established. Conditions for (fuzzy) ordered filters to be (fuzzy)absorbent ordered ...
متن کاملAn Introduction to Implicative Semigroups with Apartness
The setting of this research is Bishop’s constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving s...
متن کامل